Publication date
September 2022
DOIAbstract
Collection of Python implementations and translations to Dafny with verification attempts
Collection of Python implementations and translations to Dafny with verification attempts
This dataset allow to perform tests and demonstrations with the domutils Python package. Source cod...
Demonstrational and Tutorial Dataset for the DBDIpy Python library. See https://github.com/leopold-...
Dataset of the FSE 2018 tool paper "PyDriller: Python Framework for Mining Software Repositories". ...
A collection of GitHub-Copilot-generated Python solutions and their translations to Dafny with verif...
This dataset includes scripts and data files used to generate all analysis and results from the pape...
The dataset of Python projects used for the study of code change patterns and their automation. The ...
This replication package contains the data and scripts used in the "Empirical Study on Test Generati...
eThis dataset consists of data from 179 Python projects on GitHub used for estimating trust between ...
This dataset includes scripts, text files, and CSV files used to generate all analysis and results f...
This is the data provided in the article "Code Comparison for Fast Flavor Instability Simulation". T...
This repository contains the dataset of the manuscript: "An Empirical Study on the Usage and Availa...
The dataset and source code and result generation framework used in the paper 'Asleep at the Keyboar...
This dataset collected from Stack Overflow (SO) and GitHub was used to conduct an empirical study on...
This dataset allow to perform tests and demonstrations with the domutils Python package. Source cod...
Demonstrational and Tutorial Dataset for the DBDIpy Python library. See https://github.com/leopold-...
Dataset of the FSE 2018 tool paper "PyDriller: Python Framework for Mining Software Repositories". ...
A collection of GitHub-Copilot-generated Python solutions and their translations to Dafny with verif...
This dataset includes scripts and data files used to generate all analysis and results from the pape...
The dataset of Python projects used for the study of code change patterns and their automation. The ...
This replication package contains the data and scripts used in the "Empirical Study on Test Generati...
eThis dataset consists of data from 179 Python projects on GitHub used for estimating trust between ...
This dataset includes scripts, text files, and CSV files used to generate all analysis and results f...
This is the data provided in the article "Code Comparison for Fast Flavor Instability Simulation". T...
This repository contains the dataset of the manuscript: "An Empirical Study on the Usage and Availa...
The dataset and source code and result generation framework used in the paper 'Asleep at the Keyboar...
This dataset collected from Stack Overflow (SO) and GitHub was used to conduct an empirical study on...
This dataset allow to perform tests and demonstrations with the domutils Python package. Source cod...
Demonstrational and Tutorial Dataset for the DBDIpy Python library. See https://github.com/leopold-...
Dataset of the FSE 2018 tool paper "PyDriller: Python Framework for Mining Software Repositories". ...
Add to ORKG